Probability logic with conditional expectation
نویسندگان
چکیده
منابع مشابه
A Logic with Conditional Probability Operators
We present a sound and strongly complete axiomatization of a reasoning about linear combinations of conditional probabilities, including comparative statements. The developed logic is decidable, with a PSPACE containment for the decision procedure.
متن کاملConditional p-adic probability logic
Probability model of a p-adic coin Conditional p-adic probability logic CPL Qp
متن کاملInference in conditional probability logic
An important field of probability logic is the investigation of inference rules that propagate point probabilities or, more generally, interval probabilities from premises to conclusions. Conditional probability logic (CPL) interprets the common sense expressions of the form “if . . . , then . . . ” by conditional probabilities and not by the probability of the material implication. An inferenc...
متن کاملThe Conditional in Mental Probability Logic
Since Störring’s [63] pioneering experiments on syllogistic reasoning at the beginning of last century, experimental psychology has investigated deductive reasoning in the framework of classical logic. The most prominent examples are the theories of mental models [27] and mental rules [8, 59]. A fragment of the model theory of classical logic is central to mental models. Likewise, a fragment of...
متن کامل1 Conditional Probability and Update Logic
Dynamic update of information states is the dernier cri in logical semantics. And it is old hat in Bayesian probabilistic reasoning. This note brings the two perspectives together, and proposes a mechanism for updating probabilities while changing the informational state spaces. 1 Tree diagrams for probability Many textbooks use a perspicuous tree format for simple probability spaces. Branches ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1985
ISSN: 0168-0072
DOI: 10.1016/0168-0072(85)90024-7